Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
881	Much Ado about Functions Alan L. Selman Department of Computer Science State University of New York at Buffalo Buffalo, NY[removed]Abstract Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 1997-10-21 08:38:33 Structural complexity theory Complexity classes Functions and mappings Computability theory NP Multivalued function Oracle machine Time hierarchy theorem Inverse function Theoretical computer science Mathematics Computational complexity theory
882	Non-Mitotic Sets Christian Glasser∗, Alan L. Selman†, Stephen Travers‡, and Liyu Zhang§ 22nd June[removed]Abstract Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2006-06-22 10:53:44 Complexity classes Computability theory Structural complexity theory Mathematical optimization Many-one reduction NP-complete NP PP Reduction Theoretical computer science Computational complexity theory Applied mathematics
883	The Complexity of Unions of Disjoint Sets Christian Glaßer∗, Alan L. Selman†, Stephen Travers‡, and Klaus W. Wagner∗ Abstract This paper is motivated by the open question whether the union of two disjoint NPcomp Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2006-11-08 15:58:52 Complexity classes Computability theory NP-complete problems Structural complexity theory Polynomial hierarchy NP PP Many-one reduction Oracle machine Theoretical computer science Computational complexity theory Applied mathematics
884	Objective mathematics in a finite unbounded universe Paul Budnik Mountain Math Software [removed] February 24, 2014 Add to Reading List Source URL: mtnmath.com Language: English - Date: 2014-02-24 17:59:08 Computability theory Proof theory Theory of computation Cardinal numbers Ordinal notation Limit ordinal Recursively enumerable set Recursive ordinal Large countable ordinal Mathematical logic Mathematics Ordinal numbers
885	Chapter 1 Computational Intelligence: The Legacy of Alan Turing and John von Neumann Heinz Muhlenbein ¨ Add to Reading List Source URL: muehlenbein.org Language: English - Date: 2008-09-05 06:02:02 Computer science Computability theory Philosophy of artificial intelligence Theory of computation Theoretical computer science Turing test Computing Machinery and Intelligence Turing machine John von Neumann Mathematics Science Alan Turing
886	Incompleteness versus a Platonic multiverse Paul Budnik Mountain Math Software [removed] c 2013 Mountain Math Software Add to Reading List Source URL: mtnmath.com Language: English - Date: 2013-06-12 13:25:59 Ordinal numbers Computability theory Proof theory Theory of computation Ordinal notation Recursively enumerable set Reverse mathematics Enumeration Continuum hypothesis Mathematical logic Mathematics Logic
887	STRANGE LOOPS IN CFML, A LIVECODER’S RIDDLE Adam M. Smith Santa Cruz, CA, USA [removed] ABSTRACT The practice of livecoding borrows heavily from the techniques and vocabulary of music and computer programming. Add to Reading List Source URL: adamsmith.as Language: English - Date: 2013-03-17 01:17:52 Theoretical computer science Programming idioms Mathematical logic ColdFusion Markup Language Computability theory Recursion Algorithm Comps Subroutine Computer programming Computing Software engineering
888	Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-27 11:22:13 Applied mathematics Computability theory Combinatory logic Calculus De Bruijn index Simply typed lambda calculus Lambda calculus Theoretical computer science Mathematics
889	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic
890	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Lambda calculus Models of computation Formal methods Computability theory Model theory First-order logic Calculus of constructions Heap Function Mathematical logic Mathematics Theoretical computer science

UPDATE